Enumerating Left Distributive Groupoids
نویسندگان
چکیده
Groupoids satisfying the equation x(yz) = (xy)(xz) are called left distributive, or LD-groupoids. We give an algorithm for their enumeration and prove several results on the collection of LD-groupoids extending a given monounary algebra.
منابع مشابه
Selfdistributive Groupoids of Small Orders
After enumerating isomorphism types of at most five-element left distributive groupoids, we prove that a distributive groupoid with less than 81 elements is necessarily medial.
متن کاملOn Varieties of Left Distributive Left Idempotent Groupoids
We describe a part of the lattice of subvarieties of left distributive left idempotent groupoids (i.e. those satisfying the identities x(yz) ≈ (xy)(xz) and (xx)y ≈ xy) modulo the lattice of subvarieties of left distributive idempotent groupoids. A free groupoid in a subvariety of LDLI groupoids satisfying an identity x ≈ x decomposes as the direct product of its largest idempotent factor and a ...
متن کاملSelfdistributive Groupoids. Part A2: Non-idempotent Left Distributive Left Quasigroups
The present paper is a comprehensive survey of non-indempotent left distributive left quasigroups. It contains several new results about free groupoids and normal forms of terms in certain subvarieties. It is a continuation of a series of papers on selfdistributive groupoids, started by [KepN,03].
متن کاملNon-idempotent left symmetric left distributive groupoids
Subdirectly irreducible non-idempotent groupoids satisfying x · xy = y and x · yz = xy · xz are studied.
متن کاملOn reductive and distributive algebras
The paper investigates idempotent, reductive, and distributive groupoids, and more generally Ω-algebras of any type including the structure of such groupoids as reducts. In particular, any such algebra can be built up from algebras with a left zero groupoid operation. It is also shown that any two varieties of left k-step reductive Ω-algebras, and of right n-step reductive Ω-algebras, are indep...
متن کامل